1. Formal Semantics and Proof Techniques for Optimizing VHDL Models
پدیدآورنده : by Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering.,Computer hardware.,Computer-aided design.,Engineering.,Systems engineering.
2. Formal semantics and proof techniques for optimizing VHDL models
پدیدآورنده : Umamageswaran, Kothanda
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، VHDL )Computer hardware description language(
رده :
TK
7885
.
7
.
U43
1999
